退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:多层嵌入式系统设计的模型驱动性能评估和形式验证
Genius, Daniela; Li, Letitia; Apvrille, Ludovic;
机译:通过SystemVerilog设计和验证嵌入式系统的模型驱动框架
机译:嵌入式系统设计的正式验证
机译:用于高级架构系统模型驱动开发的正式架构验证方法
机译:模型驱动性能评估和多级嵌入式系统设计的正式验证
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:诊断干预验证调整(DIVA)模型对综合基础医疗规划和绩效改善的有效性:尼日利亚卡杜纳州的嵌入式混合方法评估
机译:使用形式验证评估硬件设计的性能
机译:使用形式验证和符号任务评估硬件设计的性能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。